sin 2A sin 2B - sin 2C = 4 cos A cos B sin C